作者：LambdaClass翻译：mutourend；Yiping，IOSG Ventures1. 引言零知识、简洁、非交互式知识证明（zk-SNARKs），是一种强大的密码学原语，允许证明者说服验证者某个陈述的正确性，而无需透露陈述以外的任何信息。由于其在可验证私人计算、计算机程序执行正确性证明和区块链扩展方面的应用，zk-SNARKs受到广泛关注。我们相...

Q1：相对于 RISC-V 程序的本机执行，一旦 Jolt 被重新实现以使用 D&P 的承诺，您认为 Jolt prover 的速度会有多快？A：这里提供一个粗糙且推测性的估计。Jolt prover 预计每个 RISC-V CPU 的步骤将承诺约 800 位的数据，使用 32 位数据类型和乘法扩展。需要注意两点：首先，某些 RISC-V 指令通过多个伪指令...

今年初，我们推出了 Lasso 和 Jolt，它们不仅性能更强大，而且更易于构建和审计的 SNARK。Lasso 是一种具有明显更快证明者的新型查找参数。Jolt 基于 Lasso，提供了一种根本上新的设计范例，用于设计所谓的 zkVMs - SNARKs，使证明者能够证明它正确地运行了计算机程序（以某个特定虚拟机的汇编语言指定）。Lasso 和 Jolt...